A Mapping from Conceptual Graphs to Formal Concept Analysis
نویسندگان
چکیده
A straightforward mapping from Conceptual Graphs (CGs) to Formal Concept Analysis (FCA) is presented. It is shown that the benefits of FCA can be added to those of CGs, in, for example, formally reasoning about a system design. In the mapping, a formal attribute in FCA is formed by combining a CG source concept with its relation. The corresponding formal object in FCA is the corresponding CG target concept. It is described how a CG, represented by triples of the form source-concept, relation, target-concept, can be transformed into a set of binary relations of the form (target-concept, source-concept a relation) creating a formal context in FCA. An algorithm for the transformation is presented and for which there is a software implementation. The approach is compared to that of Wille. An example is given of a simple University Transaction Model (TM) scenario that demonstrates how FCA can be applied to CGs, combining the power of each in an integrated and intuitive way.
منابع مشابه
The use of concept mapping and Vee diagram to calculate the volume by the integral
The concept mapping and the Vee diagram are important tools for improving the level of conceptual learning of mathematics in all educational levels that can play an important role in the learner's achievement. The purpose of this study is to use a concept mapping and Vee diagram, to calculate the volume of an object by the integral, includes the reaction of what a teacher really knows, the way ...
متن کاملCGs to FCA Including Peirce's Cuts
Previous work has demonstrated a straightforward mapping from Conceptual Graphs (CGs) to Formal Concept Analysis (FCA), and the combined benefits these types of Conceptual Structures bring in capturing and reasoning about the semantics in system design. As in that work, a CGs Transaction Model (or `Transaction Graph’) exemplar is used, but in the form of a richer Financial Trading (FT) case stu...
متن کاملConceptual Graphs and Formal Concept Analysis
It is shown how Conceptual Graphs and Formal Concept Analysis may be combined to obtain a formalization of Elementary Logic which is useful for knowledge representation and processing. For this, a translation of conceptual graphs to formal contexts and concept lattices is described through an example. Using a suitable mathematization of conceptual graphs, basics of a uniied mathematical theory ...
متن کاملConcept Graphs as Semantic Structures for Contextual Judgment Logic
This paper presents a mathematization of the philosophical doctrine of judgments as an extension of the mathematization of the philosophical doctrine of concepts developed in Formal Concept Analysis. The chosen approach was strongly stimulated by J. F. Sowa’s theory of conceptual graphs. The mathematized conceptual graphs, called concept graphs, are mathematical semantic structures based on for...
متن کاملSimple Concept Graphs: A Logic Approach
Conceptual Graphs and Formal Concept Analysis are combined by developing a logical theory for concept graphs of relational contexts. Therefore, concept graphs are introduced as syntactical constructs , and their semantics is deened based on relational contexts. For this contextual logic, a sound and complete system of inference rules is presented and a standard graph is introduced that entails ...
متن کامل